Digital Library

Search: "[ author: Kim Sung Un ]" (6)
    A Study on Framework for Cell-leve1 and Frame-level Perforrnance Testing in ATM Network
    Ahn Sung Soo, Choi Young Bok, Lee Joon Won, Kim Sung Un The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 6, No. 6, pp. 1598-1608, Jun. 1999
    10.3745/KIPSTE.1999.6.6.1598


    A Study on Implementation of Model Checking Program for Verifying LTS Specification
    Park Yong Bum, Kim Tae Kyun, Kim Sung Un The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 5, No. 4, pp. 995-1004, Apr. 1998
    10.3745/KIPSTE.1998.5.4.995


    LOTOS Protocol Conformance Testing for Formal Description Specifications
    Kim Sung Un, Chin Byoung Moon, Ryu Young Suk The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 4, No. 7, pp. 1821-1841, Jul. 1997
    10.3745/KIPSTE.1997.4.7.1821


    Strong Connectivity Decision Method using Graph Rewriting System in Conformance Testing
    Lee Joon Won, Kim Sung Un, Koo Yeon Seol The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 4, No. 5, pp. 1327-1336, May. 1997
    10.3745/KIPSTE.1997.4.5.1327


    A Formal Method on Conformance Testing for AIN Protocol Test Generation
    Kim Sang Ki, Kim Sung Un, Chung Jae Yoon The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 4, No. 2, pp. 552-562, Feb. 1997
    10.3745/KIPSTE.1997.4.2.552


    A study on implementation of software development environment for SDL
    Choe Young Han, Kim Sung Un The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 3, No. 6, pp. 1522-1533, Nov. 1996
    10.3745/KIPSTE.1996.3.6.1522


Forms



Category Search

Publications


Old Journals


Indexing


All publications of KTSDE is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

KTSDE is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Organization


Related Journals